3.6.2 Convert to Equation

A simple formula is converted to an equation by placing a copy of the formula on both sides of the new equation.

A transform is converted to an equation by placing the pattern and the transform on either side of the new equation. The predicate is discarded.

A definition is converted to an equation by placing the function name on the left and the elaboration on the right. The parameter list is retained.